441. Cours de logiue mathemaique

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
F64
1971

442. Cours fondamental de logique electronique; l'algebre de Boole et le calcul binaire dans l'industrie electronique

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Electronics - Mathematics,Logic, symbolic and mathematical

رده :
511
.
3
Am-C

443. Course of mathematical logic

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

444. Coursse of Mathematical logic

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Logic, Symbolic and mathematical

445. Current trends on knowledge-based systems

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical

رده :
006
.
3
C976
2017
21

446. Dag Prawitz on proofs and meaning /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic design.,Logic, Symbolic and mathematical.,Logic.,Philosophy.,Logics and Meanings of Programs.,Mathematical Logic and Foundations.,Philosophy.

رده :
BC71

447. Decision Criteria and Optimal Inventory Processes

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Distribution (Probability theory),Economics.,Logic, Symbolic and mathematical.

رده :
T57
.
6
B933
1999

448. Decision procedures : an algorithmic point of view

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical

رده :
QA
279
.
4
.
K76D4
2016

449. Deducibility and decidability

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(

رده :
BC
135
.
G495
1990

450. Deducibility and decidability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(

رده :
BC
135
.
G5

451. Degrees of unsolvability

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Logic, symbolic and mathematical,Recursive functions

رده :
511
Sh-D

452. Degrees of unsolvability

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(

رده :
QA
9
.
S518

453. Deux esquisses de logique

پدیدآورنده :

موضوع : Logic, Symbolic and mathematical.

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

454. Development of mathematical logic

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
G6785

455. Diagonalization in Formal Mathematics

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ;

456. Diamond :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Paradox.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Paradox.

رده :
QA9
.
H396
2010eb

457. Diamond, a paradox logic

پدیدآورنده :

کتابخانه: (خراسان الجنوبیة)

موضوع : ، Logic, symbolic & mathematical,، Paradox

رده :
QA
9
.
H3
D5

458. Dictionary of symbols of mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Logic, Symbolic and mathematical,، Mathematical notations

رده :
QA
9
.
F49

459. Dictionary of symbols of mathematical logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Dictionaries ، Logic, Symbolic and mathematical,Dictionaries ، Mathematical notation

رده :
QA
9
.
D528

460. Dictionary of symbols of mathematical logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Mathematical notation

رده :
QA
9
.
F49